Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
If there's anything you need, just knock on my door.
有什么需要帮忙的话，尽管敲门来找我。
We can offer you a price of 8 pounds per item, from 20 days, after which the price will be subject to an increase of 5%.
我们给您报价每件8英镑，有效期20天，过期价格增加5%。
Our knowledge of the universe is growing all the time.
我们对宇宙的认识一真在增长。